Nuprl Definition : es-initially
11,40
postcript
pdf
es-initially(
es
;
i
;
x
) == es_init(
es
)(
i
,
x
,0)
latex
Definitions
f
(
a
)
,
es_init(
es
)
,
#$n
FDL editor aliases
es-initially
origin